Recent controversies about the level of replicability of behavioral research analyzed using statistical inference have cast interest in developing more efficient techniques for analyzing the results of psychological experiments. Here we claim that complementing the analytical workflow of psychological experiments with Machine Learning-based analysis will both maximize accuracy and minimize replicability issues. As compared to statistical inference, ML analysis of experimental data is model agnostic and primarily focused on prediction rather than inference. We also highlight some potential pitfalls resulting from (...) adoption of Machine Learning based experiment analysis. If not properly used it can lead to over-optimistic accuracy estimates similarly observed using statistical inference. Remedies to such pitfalls are also presented such and building model based on cross validation and the use of ensemble models. ML models are typically regarded as black boxes and we will discuss strategies aimed at rendering more transparent the predictions. (shrink)

The present paper is meant to summarise and enlighten the theoretical implications of the twin theories of text comprehension and of text compression. Compatibility and non-exclusiveness of particle-like analysis of language and wave-like analysis of intentionality are also demonstrated within the newly established quantum linguistics framework. The informative state of language is viewed as being relatively stable; once activated and subject to motion, therefore reaching a communicative state, different phenomena occur, which may be observed, analysed and visualised through CPP-TRS observational (...) devices. Relativity theory may therefore be organised in terms of quanta with continuity and no contradiction. (shrink)

Dans sa description de l'œuvre en langue vulgaire de Lorenzo Ghiberti, Giorgio Vasari, quoiqu'il en dénigre certains aspects, saisit bien, nous semble-t-il, les traits marquants des Commentaires de Lorenzo, en particulier ceux du troisième livre concernant l'optique: Scrisse Lorenzo un'opera in volgare nella quale trattò di molte cose, ma sì fattamente che poco costrutto se ne cava… [que l'on en tire très peu de connaissances utiles…] Né tacerò che egli mostra il libro essere stato fatto da altri [Je ne tairai (...) pas qu'il montre que le livre a été fait par d'autres personnes]. (shrink)

Embracing an inter-disciplinary approach grounded on Gärdenfors’ theory of conceptual spaces, we introduce a formal framework to analyse and compare selected theories about technical artefacts present in the literature. Our focus is on design-oriented approaches where both designing and manufacturing activities play a crucial role. Intentional theories, like Kroes’ dual nature thesis, are able to solve disparate problems concerning artefacts but they face both the philosophical challenge of clarifying the ontological nature of intentional properties, and the empirical challenge of testing (...) the attribution of such intentional properties to artefacts. To avoid these issues, we propose an approach that, by identifying different modalities to characterise artefact types, does not commit to intentional qualities and is able to empirically ground compliance tests. (shrink)

In two papers earlier in his career, Siméon Rajaona—one of Madagascar's most famous intellectuals—argues that Westerners have tended to distort the Malagasy worldview by interpolating Western notions into their understanding of it. As a result, the authentic characteristics of the Malagasy mind have been missed by many in the West. He claims that when compared to Westerners, Malagasy have a distinct notion of truth, a different style of reasoning, a different conceptual connection with the world, and a distinct ethical system. (...) His work on this topic is pioneering and insightful. We think that Rajaona is correct on some points but that others are overestimated. In the essay, we explain his work and raise challenges for most of his claims and express agreement with him in parts. While we express skepticism about his claims involving truth, reasoning, and conceptual connection, we agree with him that there is a distinctive Malagasy ethics, though it has analogues in the West. At the end of the paper, we sketch what we take to be distinct elements in the Malagasy worldview relative to Rajaona’s claims. (shrink)

Reflection on the natural/artificial, real/imaginary, subjective/objective dicotomies is increasingly the subject of debate on systems of communication, which make more and more widespread use of expert and/or intelligent advanced technologies.This paper analyses different forms of communication operating in a socio-technical system. The analysis is concerned with changes in creativity and participation of the human being in the decision and production processes within various contexts of social life. It is thus important to verify the possibility of an interpolation between vital world, (...) social system, and information technologies in order to understand a possible interrelation between therational and therelational components in the presentsocio-technical system. (shrink)

This article seeks to examine Ricœur's reflection on metaphor through an intertextual reading. This reading relates The Rule of Metaphor (1975) with lines of thought developed in a series of lectures held at the Centre de recherches phénoménologiques in Paris, from 1973–1974, on the theme From Language to Image, and an essay which appeared in 1978, “The Metaphorical Process as Cognition, Imagination and Feeling”. This work starts with an analysis of Ricœur's interpretation of the Aristotelian theory of metaphor, a theory (...) which the French philosopher principally develops in The Rule of Metaphor. In the other two papers, Ricœur develops his metaphorology through a dialogue with Kant and he reformulates in linguistic terms the doctrine of productive imagination and transcendental schematism, which become the ontological sphere on which metaphorical and narrative activity are founded. Through the long journey of language, Ricœur's hermeneutics builds a bridge between Aristotle and Kant. This article examines this link to understand and explain further, also at the epistemological level, the relationship between metaphor and narrative. (shrink)

This paper explores the «nature» of street art, highlighting its innovative features, the new socio-political status, and the differences between this emerging art form and dominant trends in contemporary visual art. This examination builds on the premise that artistic phenomena can only be considered from a critical perspective that situates questioning within a historical and specific gaze. Therefore, my aim is not to place this art movement within categorial boundaries, identifying the necessary and eternally true characteristics of street art, but (...) to identify the motives and tendencies that constitute it as a movement that runs against the dominant orientations in contemporary art. Building on this comparative analysis, the construens part of this paper explores the salient features of street art more thoroughly and more extensively, through an examination of the works of certain street artists. (shrink)

There is wide support in logic, philosophy, and psychology for the hypothesis that the probability of the indicative conditional of natural language, P(if A then B), is the conditional probability of B given A, P(B|A). We identify a conditional which is such that P(if A then B)=P(B|A) with de Finetti's conditional event, B|A. An objection to making this identification in the past was that it appeared unclear how to form compounds and iterations of conditional events. In this paper, we illustrate (...) how to overcome this objection with a probabilistic analysis, based on coherence, of these compounds and iterations. We interpret the compounds and iterations as conditional random quantities which, given some logical dependencies, may reduce to conditional events. We show how the inference to B|A from A and B can be extended to compounds and iterations of both conditional events and biconditional events. Moreover, we determine the respective uncertainty propagation rules. Finally, we make some comments on extending our analysis to counterfactuals. (shrink)

We analyze selected iterated conditionals in the framework of conditional random quantities. We point out that it is instructive to examine Lewis's triviality result, which shows the conditions a conditional must satisfy for its probability to be the conditional probability. In our approach, however, we avoid triviality because the import-export principle is invalid. We then analyze an example of reasoning under partial knowledge where, given a conditional if A then Cas information, the probability of A should intuitively increase. We explain (...) this intuition by making some implicit background information explicit. We consider several iterated conditionals, which allow us to formalize different kinds of latent information. We verify that for these iterated conditionals the prevision is greater than or equal to the probability of A. We also investigate the lower and upper bounds of the Affirmation of the Consequent inference. We conclude our study with some remarks on the supposed "independence" of two conditionals, and we interpret this property as uncorrelation between two random quantities. 2020 Elsevier Inc. All rights reserved. (shrink)

Es mag überraschen, in einer der Religion und Offenbarung gewidmeten Schrift ein einleitendes Kapitel moralischen Inhalts zu finden: Die »Theorie des Willens«, die bedeutendste Erweiterung in der zweiten Auflage der Offenbarungskritik. Die Einschiebung dieses Kapitels macht die Beziehung zwischen Moral und Religion noch deutlicher, wodurch sich Fichte auf eine charakteristische Tendenz der deutschen Aufklärung bezieht. Ein erster Grund dieser fichteschen Stellungnahme liegt in der geistigen Bildung des jungen Gelehrten, der zur moralischen Thematik und zur Begeisterung für Kants moralisches System aus (...) einem ursprünglichen theologischen und religiösen Interesse heraus kommt: In den unmittelbar der Offenbarungskritik vorangehenden Jahren ist dieses Interesse besonders dem Problem der Gnade und der menschlichen Freiheit gewidmet. Ich beschränke mich auf die drei wichtigsten Schriften der jugendlichen fichteschen Periode, oder besser der sogenannten »vorkantischen« Periode, die Predigten An Mariä Verkündigung und Ueber die Absichten des Todes Jesu und das Fragment Einige Aphorismen über Religion und Deismus ; in all diesen Schriften ist die Annahme der sich auf den Menschen auswirkenden Gnade Gottes, die ihm Versöhnungs- und fortschreitende Annäherungsgelegenheiten zur moralischen Vollkommenheit gibt, der Bedingung unterworfen, daß der Mensch von seiner moralischen Verantwortlichkeit nicht abgehalten wird, daß er sich sozusagen nicht einer untätigen Erwartung des göttlichen Gefallens überläßt. Er soll dagegen, je nach der Wohltat, die er von Gott bekommen hat, das Bessere anstreben, und das ist auch das Kriterium, wonach Gott ihn beurteilen wird. Dieses aktive Bemühen um die eigene Rettung kann aber nur aus der Beachtung und aus dem Gehorsam gegenüber der Stimme des eigenen Gewissens, und nicht aus der Ausübung einer nur formalen Gerechtigkeit oder aus der Befolgung besonderer Kultusformen hervorgehen. Wie Fichte mit ausdrücklichem Bezug auf Paulus behauptet, wird man vor Gott nicht durch Werke gerechtfertigt, sondern durch die Ausübung eines Glaubens, der in seiner vollkommensten Form von der christlichen Religion vertreten wird und vor allem ein und dasselbe mit einer »Verfassung der Seele« ist; das führt zu jener »genauen Beobachtung unsrer eignen Seele«, die uns erlaubt, die von Gott in unsere Seele gebrachten Veranlassungen zur moralischen Besserung mit Klarheit zu erfassen. Die wahre Religion hat die Rolle, die Sinnlichkeit auszurotten und die »sanften Neigungen des Menschen, Güte, Sanftmuth, Gefälligkeit« zu erwecken: Fichte spricht von einer »Religion des Herzens«, aus dessen Güte und Wohlwollen eine »warme, lebendige Überzeugung« kommt, die auf ein inneres »Gefühl des Guten« gegründet ist und die religiöse Wahrheiten zur moralischen Triebfeder macht. In den kurz nach der Lektüre der ersten Kritik Kants geschriebenen Aphorismen ist das Gleichgewicht zwischen intellektuellen und sinnlichen Bestandteilen durch den von Fichte hervorgehobenen Widerspruch zwischen dem Gesichtspunkt des Herzens und den Forderungen der Spekulation in Frage gestellt: In der Spekulation würde man verlangen, eine rein vernünftige Erklärung des Glaubens zu geben, dessen innigste Natur aber, als der Bestrebung zu einem vertrauten und persönlichen zuerst auf die Empfindung gegründeten Verhältnis zu Gott einer solchen Beanspruchung eben nicht gerecht werden kann. Nur der von Kant herausgestellte Unterschied zwischen praktischer und spekulativer Vernunft wird Fichte die Mittel für die Überwindung dieses Widerspruchs geben, und damit auch die Möglichkeit, die Harmonie zwischen Philosophie und Religion wieder zu bestätigen: In einer bemerkenswerten Stelle der Aphorismen sieht Fichte nämlich eine völlige Übereinstimmung zwischen der kantischen Kritik und den Grundsätzen der Apostel über die Grenze der menschlichen Vernunft in den Untersuchungen der Glaubensdinge. (shrink)

Es mag überraschen, in einer der Religion und Offenbarung gewidmeten Schrift ein einleitendes Kapitel moralischen Inhalts zu finden: Die »Theorie des Willens«, die bedeutendste Erweiterung in der zweiten Auflage der Offenbarungskritik. Die Einschiebung dieses Kapitels macht die Beziehung zwischen Moral und Religion noch deutlicher, wodurch sich Fichte auf eine charakteristische Tendenz der deutschen Aufklärung bezieht. Ein erster Grund dieser fichteschen Stellungnahme liegt in der geistigen Bildung des jungen Gelehrten, der zur moralischen Thematik und zur Begeisterung für Kants moralisches System aus (...) einem ursprünglichen theologischen und religiösen Interesse heraus kommt: In den unmittelbar der Offenbarungskritik vorangehenden Jahren ist dieses Interesse besonders dem Problem der Gnade und der menschlichen Freiheit gewidmet. Ich beschränke mich auf die drei wichtigsten Schriften der jugendlichen fichteschen Periode, oder besser der sogenannten »vorkantischen« Periode, die Predigten An Mariä Verkündigung und Ueber die Absichten des Todes Jesu und das Fragment Einige Aphorismen über Religion und Deismus ; in all diesen Schriften ist die Annahme der sich auf den Menschen auswirkenden Gnade Gottes, die ihm Versöhnungs- und fortschreitende Annäherungsgelegenheiten zur moralischen Vollkommenheit gibt, der Bedingung unterworfen, daß der Mensch von seiner moralischen Verantwortlichkeit nicht abgehalten wird, daß er sich sozusagen nicht einer untätigen Erwartung des göttlichen Gefallens überläßt. Er soll dagegen, je nach der Wohltat, die er von Gott bekommen hat, das Bessere anstreben, und das ist auch das Kriterium, wonach Gott ihn beurteilen wird. Dieses aktive Bemühen um die eigene Rettung kann aber nur aus der Beachtung und aus dem Gehorsam gegenüber der Stimme des eigenen Gewissens, und nicht aus der Ausübung einer nur formalen Gerechtigkeit oder aus der Befolgung besonderer Kultusformen hervorgehen. Wie Fichte mit ausdrücklichem Bezug auf Paulus behauptet, wird man vor Gott nicht durch Werke gerechtfertigt, sondern durch die Ausübung eines Glaubens, der in seiner vollkommensten Form von der christlichen Religion vertreten wird und vor allem ein und dasselbe mit einer »Verfassung der Seele« ist; das führt zu jener »genauen Beobachtung unsrer eignen Seele«, die uns erlaubt, die von Gott in unsere Seele gebrachten Veranlassungen zur moralischen Besserung mit Klarheit zu erfassen. Die wahre Religion hat die Rolle, die Sinnlichkeit auszurotten und die »sanften Neigungen des Menschen, Güte, Sanftmuth, Gefälligkeit« zu erwecken: Fichte spricht von einer »Religion des Herzens«, aus dessen Güte und Wohlwollen eine »warme, lebendige Überzeugung« kommt, die auf ein inneres »Gefühl des Guten« gegründet ist und die religiöse Wahrheiten zur moralischen Triebfeder macht. In den kurz nach der Lektüre der ersten Kritik Kants geschriebenen Aphorismen ist das Gleichgewicht zwischen intellektuellen und sinnlichen Bestandteilen durch den von Fichte hervorgehobenen Widerspruch zwischen dem Gesichtspunkt des Herzens und den Forderungen der Spekulation in Frage gestellt: In der Spekulation würde man verlangen, eine rein vernünftige Erklärung des Glaubens zu geben, dessen innigste Natur aber, als der Bestrebung zu einem vertrauten und persönlichen zuerst auf die Empfindung gegründeten Verhältnis zu Gott einer solchen Beanspruchung eben nicht gerecht werden kann. Nur der von Kant herausgestellte Unterschied zwischen praktischer und spekulativer Vernunft wird Fichte die Mittel für die Überwindung dieses Widerspruchs geben, und damit auch die Möglichkeit, die Harmonie zwischen Philosophie und Religion wieder zu bestätigen: In einer bemerkenswerten Stelle der Aphorismen sieht Fichte nämlich eine völlige Übereinstimmung zwischen der kantischen Kritik und den Grundsätzen der Apostel über die Grenze der menschlichen Vernunft in den Untersuchungen der Glaubensdinge. (shrink)

The question of the mimesis metaphorike in Aristotle is developed, in the interpretative perspective of this work, through an itinerary that defines it in relation to poetical thought, ontology and in its gnoseological and epistemological aspects. The pages that the philosopher has explicitly dedicated to the metaphor might be considered as examples in a sort of reflection-guide to understand the link existing, according to Aristotle, between language, thought and being. At the same time they offer a fundamental theoretical element to (...) proceed in the search for that unity by analogy that has occupied a great part of the Aristotelian interpretative tradition. The hermeneutical perspective of this work represents a critical position in relation to the most common interpretations of the theory of the metaphor in Aristotle (that explain it in linguistic-semiotic terms) and tries to retrieve and bring to light the metaphysical horizon and the “referentialist” vocation that mark the reflection of the Greek philosopher. Yet, notwithstanding this background, Aristotle’s reflection manages to generate a realism that is not quashed in the opposition object-subject, inner world-outside world, but that is able, even today, to offer fundamental parameters to think of the relationship between language, world and thought in terms that are not any longer those of a world defined through a totalising linguistic dimension. In this sense, the Aristotelian doctrine of the metaphor constitutes today a fundamental theoretical paradigm to think deep and critically the kind of relation that might exist between arts and truth and, also, between language and world. (shrink)

Modus ponens (from A and “if A then C” infer C) is one of the most basic inference rules. The probabilistic modus ponens allows for managing uncertainty by transmitting assigned uncertainties from the premises to the conclusion (i.e., from P(A) and P(C|A) infer P(C)). In this paper, we generalize the probabilistic modus ponens by replacing A by the conditional event A|H. The resulting inference rule involves iterated conditionals (formalized by conditional random quantities) and propagates previsions from the premises to the (...) conclusion. Interestingly, the propagation rules for the lower and the upper bounds on the conclusion of the generalized probabilistic modus ponens coincide with the respective bounds on the conclusion for the (non-nested) probabilistic modus ponens. (shrink)

Alternative cleavage and polyadenylation (APA) can diversify coding and non‐coding regions, but has particular impact on increasing 3′ UTR diversity. Through the gain or loss of regulatory elements such as RNA binding protein and microRNA sites, APA can influence transcript stability, localization, and translational efficiency. Strikingly, the central nervous systems of invertebrate and vertebrate species express a broad range of transcript isoforms bearing extended 3′ UTRs. The molecular mechanism that permits proximal 3′ end bypass in neurons is mysterious, and only (...) beginning to be elucidated. This landscape of neural 3′ UTR extensions, many reaching unprecedented lengths, may help service the unique post‐transcriptional regulatory needs of neurons. A combination of approaches, including transcriptome‐wide profiling, genetic screening to identify APA factors, biochemical dissection of alternative 3′ end formation, and manipulation of individual neural APA targets, will be necessary to gain fuller perspectives on the mechanism and biology of neural‐specific 3′ UTR lengthening. (shrink)

Il soggetto empirico indagato dagli psicologi trattiene forti legami con il soggetto puro indagato dai fenomenologi. Ne deriva il paradosso di una differenza che è insieme identità. L’analisi fenomenologica allora potrebbe assumere presupposti naturalistici, esito che Husserl ha decisamente escluso, affermando invece la necessità dell’epoché, della ricerca eidetica e il primato della coscienza intenzionale. Le ricerche che vertono sulla coscienza vedono oggi consumarsi un contrasto tra i sostenitori dell’embodiment, secondo cui le neuroscienze sono in grado di spiegare a sufficienza i (...) fenomeni psichici, e i fenomenologi, i quali, basandosi sul concetto husserliano di hyle, configurano una soggettività sensoriale, ovvero una coscienza legata strettamente all’esperienza sensibile. La ricerca di scientificità nel primo caso giunge attraverso le scienze della complessità alla matematizzazione della psiche, mentre nel secondo caso i fenomenologi si appoggiano ai progressi delle neuroscienze. (shrink)

Information entities are used in ontologies to represent engineering technical specifications, health records, pictures or librarian data about, e.g., narrative fictions, among others. The literature in applied ontology lacks a comparison of the state of the art, and foundational questions on the nature of information entities remain open for research. The purpose of the paper is twofold. First, to compare existing ontologies with both each other and theories proposed in philosophy, semiotics, librarianship, and literary studies in order to understand how (...) the ontologies conceive and model information entities. Second, to discuss some open research challenges that can lead to principled approaches for the treatment of information entities, possibly by getting into account the variety of information entity types found in the literature. (shrink)

In this paper we consider conditional random quantities (c.r.q.’s) in the setting of coherence. Based on betting scheme, a c.r.q. X|H is not looked at as a restriction but, in a more extended way, as \({XH + \mathbb{P}(X|H)H^c}\) ; in particular (the indicator of) a conditional event E|H is looked at as EH + P(E|H)H c . This extended notion of c.r.q. allows algebraic developments among c.r.q.’s even if the conditioning events are different; then, for instance, we can give a (...) meaning to the sum X|H + Y|K and we can define the iterated c.r.q. (X|H)|K. We analyze the conjunction of two conditional events, introduced by the authors in a recent work, in the setting of coherence. We show that the conjoined conditional is a conditional random quantity, which may be a conditional event when there are logical dependencies. Moreover, we introduce the negation of the conjunction and by applying De Morgan’s Law we obtain the disjoined conditional. Finally, we give the lower and upper bounds for the conjunction and disjunction of two conditional events, by showing that the usual probabilistic properties continue to hold. (shrink)

In an era characterized by fast technological progress that introduces new unpredictable scenarios every day, working in the law field may appear very difficult, if not supported by the right tools. In this respect, some systems based on Artificial Intelligence methods have been proposed in the literature, to support several tasks in the legal sector. Following this line of research, in this paper we propose a novel method, called PRILJ, that identifies paragraph regularities in legal case judgments, to support legal (...) experts during the redaction of legal documents. Methodologically, PRILJ adopts a two-step approach that first groups documents into clusters, according to their semantic content, and then identifies regularities in the paragraphs for each cluster. Embedding-based methods are adopted to properly represent documents and paragraphs into a semantic numerical feature space, and an Approximated Nearest Neighbor Search method is adopted to efficiently retrieve the most similar paragraphs with respect to the paragraphs of a document under preparation. Our extensive experimental evaluation, performed on a real-world dataset provided by EUR-Lex, proves the effectiveness and the efficiency of the proposed method. In particular, its ability of modeling different topics of legal documents, as well as of capturing the semantics of the textual content, appear very beneficial for the considered task, and make PRILJ very robust to the possible presence of noise in the data. (shrink)

We present a preliminary high-level formal theory, grounded on knowledge representation techniques and foundational ontologies, for the uniform and integrated representation of the different kinds of (quali- tative and quantitative) knowledge involved in the designing process. We discuss the conceptual nature of engineering design by individuating and analyzing the involved notions. These notions are then formally charac- terized by extending the DOLCE foundational ontology. Our ultimate purpose is twofold: (i) to contribute to foundational issues of design; and (ii) to support (...) the development of advanced modelling systems for (qualitative and quantitative) representation of design knowledge. (shrink)

We study probabilistically informative (weak) versions of transitivity by using suitable definitions of defaults and negated defaults in the setting of coherence and imprecise probabilities. We represent p-consistent sequences of defaults and/or negated defaults by g-coherent imprecise probability assessments on the respective sequences of conditional events. Moreover, we prove the coherent probability propagation rules for Weak Transitivity and the validity of selected inference patterns by proving p-entailment of the associated knowledge bases. Finally, we apply our results to study selected probabilistic (...) versions of classical categorical syllogisms and construct a new version of the square of opposition in terms of defaults and negated defaults. (shrink)

We generalize, by a progressive procedure, the notions of conjunction and disjunction of two conditional events to the case of n conditional events. In our coherence-based approach, conjunctions and disjunctions are suitable conditional random quantities. We define the notion of negation, by verifying De Morgan’s Laws. We also show that conjunction and disjunction satisfy the associative and commutative properties, and a monotonicity property. Then, we give some results on coherence of prevision assessments for some families of compounded conditionals; in particular (...) we examine the Fréchet-Hoeffding bounds. Moreover, we study the reverse probabilistic inference from the conjunction Cn+1 of n + 1 conditional events to the family {Cn,En+1|Hn+1}. We consider the relation with the notion of quasi-conjunction and we examine in detail the coherence of the prevision assessments related with the conjunction of three conditional events. Based on conjunction, we also give a characterization of p-consistency and of p-entailment, with applications to several inference rules in probabilistic nonmonotonic reasoning. Finally, we examine some non p-valid inference rules; then, we illustrate by an example two methods which allow to suitably modify non p-valid inference rules in order to get inferences which are p-valid. (shrink)

Product structures are represented in engineering models by depicting and linking components, features and assemblies. Their understanding requires knowledge of both design and manufacturing practices, and yet further contextual reasoning is needed to read them correctly. Since these representations are essen- tial to the engineering activities, the lack of a clear and explicit semantics of these models hampers the use of information systems for their assessment and exploita- tion. We study this problem by identifying different interpretations of structure rep- resentations, (...) and then discuss the formal properties that a suitable language needs for representing components, features and combinations of these. We show that the representation of components and features require a non-standard mereology. (shrink)

dolce, the first top-level ontology to be axiomatized, has remained stable for twenty years and today is broadly used in a variety of domains. dolce is inspired by cognitive and linguistic considerations and aims to model a commonsense view of reality, like the one human beings exploit in everyday life in areas as diverse as socio-technical systems, manufacturing, financial transactions and cultural heritage. dolce clearly lists the ontological choices it is based upon, relies on philosophical principles, is richly formalized, and (...) is built according to well-established ontological methodologies, e.g. OntoClean. Because of these features, it has inspired most of the existing top-level ontologies and has been used to develop or improve standards and public domain resources. Being a foundational ontology, dolce is not directly concerned with domain knowledge. Its purpose is to provide the general categories and relations needed to give a coherent view of reality, to integrate domain knowledge, and to mediate across domains. In these 20 years dolce has shown that applied ontologies can be stable and that interoperability across reference and domain ontologies is a reality. This paper briefly introduces the ontology and shows how to use it on a few modeling cases. (shrink)

We present two approaches to investigate the validity of connexive principles and related formulas and properties within coherence-based probability logic. Connexive logic emerged from the intuition that conditionals of the form if not-A, thenA, should not hold, since the conditional’s antecedent not-A contradicts its consequent A. Our approaches cover this intuition by observing that the only coherent probability assessment on the conditional event $${A| \overline{A}}$$ A | A ¯ is $${p(A| \overline{A})=0}$$ p ( A | A ¯ ) = 0. (...) In the first approach we investigate connexive principles within coherence-based probabilistic default reasoning, by interpreting defaults and negated defaults in terms of suitable probabilistic constraints on conditional events. In the second approach we study connexivity within the coherence framework of compound conditionals, by interpreting connexive principles in terms of suitable conditional random quantities. After developing notions of validity in each approach, we analyze the following connexive principles: Aristotle’s theses, Aristotle’s Second Thesis, Abelard’s First Principle, and Boethius’ theses. We also deepen and generalize some principles and investigate further properties related to connexive logic (like non-symmetry). Both approaches satisfy minimal requirements for a connexive logic. Finally, we compare both approaches conceptually. (shrink)

Starting from a recent paper by S. Kaufmann, we introduce a notion of conjunction of two conditional events and then we analyze it in the setting of coherence. We give a representation of the conjoined conditional and we show that this new object is a conditional random quantity, whose set of possible values normally contains the probabilities assessed for the two conditional events. We examine some cases of logical dependencies, where the conjunction is a conditional event; moreover, we give the (...) lower and upper bounds on the conjunction. We also examine an apparent paradox concerning stochastic independence which can actually be explained in terms of uncorrelation. We briefly introduce the notions of disjunction and iterated conditioning and we show that the usual probabilistic properties still hold. (shrink)

There is wide support in logic, philosophy, and psychology for the hypothesis that the probability of the indicative conditional of natural language, P(if A then B), is the conditional probability of B given A, P(B|A). We identify a conditional which is such that P(if A then B)=P(B|A) with de Finetti’s conditional event, B | A. An objection to making this identification in the past was that it appeared unclear how to form compounds and iterations of conditional events. In this paper, (...) we illustrate how to overcome this objection with a probabilistic analysis, based on coherence, of these compounds and iterations. We interpret the compounds and iterations as conditional random quantities, which sometimes reduce to conditional events, given logical dependencies. We also show, for the first time, how to extend the inference of centering for conditional events, inferring B|A from the conjunction A ^ B, to compounds and iterations of both conditional events and biconditional events, B || A, and generalize it to n-conditional events. (shrink)

Standards and ontologies for manufacturing understand resources differently. Because of this heterogeneity, misunderstandings arise concerning the basic features that characterize them. The purpose of the paper is to investigate how to ontologically model resources with the goal of facilitating the development of knowledge representation models for manufacturing. By reviewing the literature, we discuss and compare three approaches for the representation of resources depending on whether they are conceived in connection to either processes, plans or goals. By addressing the advantages and (...) shortcomings of each view, we present a unifying perspective to enable the modeling of resources in an integrated manner. In this way, the intended meanings of the used notions are harmonized and, as a result, one can facilitate multiple experts to interact e.g., via data sharing and/or data integration procedures. Differently, by keeping three separated views, there is no guarantee that data coming from different parties will share common meanings even if the same terms are used. By the end of the paper, we present a case study to show the application of our approach and to compare it with an existing ontology for manufacturing. (shrink)